تمامیت در منطق پیوسته
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- author جاثیه کشاورزیان
- adviser سیدمحمد باقری
- Number of pages: First 15 pages
- publication year 1390
abstract
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
similar resources
تمامیت منطق رواقی
تمامیت منطق رواقی، برخلاف تمامیت منطق گزاره‌ای جدید که از‌سوی منطق‌دانان معاصر پذیرفته شده موضوعی موردتشکیک است. در این مقاله، پس از بررسی نظام‌های گوناگونی که پژوهش‌گران مختلف براساس گفتارهای منطق‌دانان رواقی بازسازی کرده‌اند، به تمامیت این نظام‌ها اشاره و نشان داده می‌شود که هیچ‌یک از این نظام‌های بازسازی‌شده نمی‌توانند معیارهای اساسی رواقیان دربارة استدلال‌های معتبر را برآورده سازند و براین...
full textاثباتی از تمامیت برای منطق مرتبه اول پیوسته
هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...
15 صفحه اولمنطق پیوسته
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از ر...
full textممیزی تمامیت در نتایج پرس و جوهای پیوسته
علی‌رغم آنکه استفاده از خدمات سرورهای برونسپاری شده جریان داده مورد اقبال زیادی قرار گرفته ولی هنوز مساله کسب اطمینان از جامعیت نتایج دریافتی از این سرورها یکی از چالش‌های اساسی سازمانها است. برای برونسپاری این خدمات، کاربر باید از عملکرد درست و امانت‌دارانه سرور و کانال ارتباطی مطمئن شود چرا که سرور ممکن است به دلایل اقتصادی و یا بدخواهانه جامعیت نتایج را مورد حمله قرار دهد. در این حملات بخشی ...
full textممیزی تمامیت در نتایج پرس و جوهای پیوسته
علی رغم آنکه استفاده از خدمات سرورهای برونسپاری شده جریان داده مورد اقبال زیادی قرار گرفته ولی هنوز مساله کسب اطمینان از جامعیت نتایج دریافتی از این سرورها یکی از چالش های اساسی سازمانها است. برای برونسپاری این خدمات، کاربر باید از عملکرد درست و امانت دارانه سرور و کانال ارتباطی مطمئن شود چرا که سرور ممکن است به دلایل اقتصادی و یا بدخواهانه جامعیت نتایج را مورد حمله قرار دهد. در این حملات بخشی ...
full textمنطق پیوسته و محاسبات احتمالاتی
چکیده منطق مرتبه اول پیوسته برای پیوند آنالیز مدل تئوریک با ساختارهای تحلیلی ( فضاهای هیلبرت، فضاهای باناخ، فضاهای احتمال و ... ) به کار گرفته شده است. نظریه مدل محاسبه پذیر کلاسیک برای بررسی ساختار الگوریتمی آن دسته از اشیای ریاضی که می توان در منطق مرتبه اول کلاسیک توصیف کرد به کار می رود. در این پایان نامه نشان می دهیم که محاسبه ی احتمالی ( که پاهی از آن با نام محاسبه ی تصادفی یاد می شود )...
15 صفحه اولMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023